Skip to content

merge develop into main for release - #31

Merged
EddyCMWF merged 13 commits into
mainfrom
develop
Jul 16, 2025
Merged

merge develop into main for release#31
EddyCMWF merged 13 commits into
mainfrom
develop

Conversation

@EddyCMWF

Copy link
Copy Markdown
Collaborator

Description

Contributor Declaration

By opening this pull request, I affirm the following:

  • All authors agree to the Contributor License Agreement.
  • The code follows the project's coding standards.
  • I have performed self-review and added comments where needed.
  • I have added or updated tests to verify that my changes are effective and functional.
  • I have run all existing tests and confirmed they pass.

@EddyCMWF
EddyCMWF merged commit 6ef9bac into main Jul 16, 2025
229 of 230 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants